# Makefile for building the tock kernel for a LiteX SoC running in a
# Verilated simulation

TARGET=riscv32imc-unknown-none-elf
PLATFORM=litex_sim

include ../../Makefile.common

